Invariant theory - PDFSEARCH.IO - Document Search Engine

Invariant theory
Results: 599

#	Item
191	Simplifying Loop Invariant Generation Using Splitter Predicates? Rahul Sharma, Isil Dillig, Thomas Dillig, and Alex Aiken Department of Computer Science Stanford University {sharmar,isil,tdillig,aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-04-21 20:24:53 Mathematics Predicate transformer semantics Predicate logic Hoare logic Loop invariant Universal quantification Invariant Predicate Logic Mathematical logic Program logic
192	Unstable Vassiliev theory Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2009-11-25 14:02:39 Algebraic topology Spectral sequence Vasilyev Finite type invariant Knot theory Abstract algebra Knot invariant
193	Linear Invariant Generation Using Non-Linear Constraint Solving Michael A. Col´ on, Sriram Sankaranarayanan and Henny B. Sipma ? Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-01-17 02:10:20
194	Reasoning Algebraically About P-Solvable Loops Laura Kov´acs ? EPFL, Switzerland Abstract. We present a method for generating polynomial invariants for a subfamily of imperative loops operating on Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2010-02-15 09:12:21 Polynomials Invariant theory Commutative algebra PP Recurrence relation Characteristic polynomial IP Tutte polynomial Mathematics Algebra Abstract algebra
195	Discovery of Invariants through Automated Theory Formation Maria Teresa Llano1 Gudmund Grov2 1 School Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Invariant Heriot Conjecture
196	Spatial Priors for Part-Based Recognition using Statistical Models David Crandall1 Cornell University Pedro Felzenszwalb Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2007-05-22 23:30:59 Image processing Artificial intelligence Estimation theory Object recognition Maximum likelihood Edge detection One-shot learning Scale-invariant feature transform Computer vision Vision Imaging
197	Invariant Generation for P-solvable Loops with Assignments Laura Kov´acs ? EPFL, Swizterland Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2010-02-15 09:12:21 Polynomials Invariant theory Commutative algebra Recurrence relation IP Rational function PP Tutte polynomial Algebraic geometry Abstract algebra Mathematics Algebra
198	The Translation-invariant Wishart-Dirichlet Process for Clustering Distance Data Julia E. Vogt Computer Science Department, University of Basel, Basel, Switzerland Sandhya Prabhakaran Add to Reading List Source URL: cs-wwwarchiv.cs.unibas.ch Language: English - Date: 2010-06-28 10:55:02 Matrix theory Matrices Mathematical physics Stochastic processes Random matrix Eigenvalues and eigenvectors Chinese restaurant process Orthogonal matrix Dirichlet process Algebra Linear algebra Mathematics
199	ALICe: A Framework to Improve Aﬃne Loop Invariant Computation* Vivien Maisonneuve, Olivier Hermant and François Irigoin MINES ParisTech, France , s-pari Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-16 04:29:27 Loop invariant Invariant Control flow Abstract interpretation State space Mathematics Science Knowledge Control theory Cybernetics Model checking
200	Proceedings ICMC\|SMC\|September 2014, Athens, Greece Timbre-invariant Audio Features for Style Analysis of Classical Music Christof Weiß Add to Reading List Source URL: matthiasmauch.de Language: English - Date: 2015-01-08 12:39:01 Chord Pitch class Interval Harmony Key Timbre Tone cluster DV Piano Music Post-tonal music theory Musical notation

UPDATE